281. Intuitionistic Fuzzy Sets

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.

282. Iteration Theories :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
M35
B978
1993

283. Iteration theories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

284. Iteration theories

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

285. Iteration theories : the equational logic of iterative processes

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
I56
1993

286. J. Michael Dunn on information based logics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Dunn, J. Michael, 1941-,Logic,Computer science,Logic, Symbolic and mathematical,Electronic books

رده :
EBOOK
,
BC
M5
71
2016

287. Justification logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.

رده :
QA9
.
A78
2019

288. KI 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها

رده :
Q
336
.
K5
2015
E-Book
,

289. Knowledge in action

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
Q387
.
R48
2001

290. Knowledge in action

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
Q387
.
R48
2001

291. Knowledge in action

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
Q387
.
R48
2001

292. Language and automata theory and applications :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018

293. Learning language in logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;

294. Learning language in logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1925

295. Linear logic in computer science

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science

رده :
QA
9
.
54
.
L563

296. Logic Colloquium' 96 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.

رده :
QA9
.
A1
E358
1998

297. Logic, Language and Reasoning

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

298. Logic, Mathematics, and Computer Science.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05

رده :
QA
37
.
N5L6
2015
E-Book
,

299. Logic Programming and Nonmonotonic Reasoning :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

300. Logic, Rationality, and Interaction

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها

رده :
Q360
.
L67
2015
E-Book
,